AI 教育日报 · 2026-09-27

今日观察

过去 24 小时最扎眼的不是教育产品本身，而是教育宏观信号与 AI 学习工具的两极共振：《经济学人》警报式地讨论全球测验分数下滑，而社区里涌现的却是一批「AI 复盘 / 形式化学习」工具——用 Stockfish 复盘棋局、用 Lean 4 形式化《Spivak 微积分》；可视化方向（人机共编的画布、AI 边画边改）也在暗示：知识结构化正在从纯文本走向画布。同一天还有开发者停用 AI 一个月的反思——「AI 辅助」与「真学会」的张力是这批工具共同的底色。

• Plunging test scores are a slow-moving catastrophe（The Economist）— 全球 K12 测验分数持续下滑被定性为「慢性灾难」；教育 AI 产品最大的一块时代背景板，也是个性化补习与批改反馈的需求侧论据。
• Chess Postmortem Skills — 让 Claude 用视觉看棋盘、配合 Stockfish 做棋局复盘；「领域工具（引擎）+ LLM 讲解」是口语陪练、作业批改类产品可直接套用的范式：判定交给专业引擎，解释与教学交给模型。
• Spivak's Calculus formalized in Lean 4 — 把《Spivak 微积分》每条定理、每道习题形式化到 Lean 4；高教数学「机器可验证题库」的样本，是自适应学习与自动判题的内容基础设施机会。
• Drawgent — 在实时 Excalidraw 画布上运行的 coding agent，AI 边画边改、人可随时介入；「人机共编画布」可迁移为教师出题、知识点讲解的可视化协作形态。
• One Month Without AI — 开发者停用 AI 一个月的亲历记录；折射 AI 依赖下的技能退化焦虑，是「AI 辅助 vs 真学会」这一教育产品核心命题的一手材料。